PUBLICATIONS
1. Problem Solving with C++,
Second Edition, Pearson Custom Publishing Co., Upper Saddle River, NJ,
2010. (Co‑author: J. Jones.)
2. "SmartTutor:
A Unified Approach for Enhancing Science Education," The Journal of
Computing Sciences in Colleges, Vol. 22, No. 3, January 2007. (Co-authors: R. Eckhardt,
M. Kobrak, D. Kopec, and P.
Whitlock.)
3. "SmartTutor: On-line
Tutoring across the Disciplines," CUNY IT
Conference,
4. Problem Solving with C, Scott/Jones
Publishing Co., El Granada, CA, 1996.
(Co‑author: J. Jones.)
5. "DBMS's Interface Second Model: An
Inner Interface between IDMS or Focus, and DAVID,"
6. "DBMS's Interface Model: Interfacing
between IDMS and DAVID," Brooklyn College Computer Science Technical
Report TR-3-90, 1990. (Co-authors: E. Malka and M. Moroh.)
7. "
8. Workbook for Pascal, Brooklyn College
Press, Brooklyn N.Y., 1987. (Co‑authors:
D. Goldberg and Y. Langsam.)
9. "
10. Problem Solving Using Turbo Pascal,
Prentice‑Hall, Englewood Cliffs, N.J., 1986. (Co‑author: J. Jones.)
11. Problem Solving Using IBM PC Pascal,
Prentice‑Hall, Englewood Cliffs, N.J., 1986. (Co‑author: J. Jones.)
12. "Getting Started on the IBM PC for
Pascal Programmers,"
13. "The Pascal Transition Report,"
14. "Recommendations on Using the PL/I‑86
Compiler on the IBM Personal Computer,"
15. "
16. Problem Solving Using PL/I and PL/C,
Prentice‑Hall,
17. PL/I and PL/C Workbook, Prentice‑Hall,
18. "Getting Started on the IBM PC for PL/I
Programmers,"
19. "A New Source of Computer Science
Teachers," Proc. of National Educational Computer Conference, 1983.
20. "A Faculty Development Program,"
Proc. of ACM SIGCSE Thirteenth Annual Technical Symposium on Computer Science
Education, 1982.
21. "Equivalence of Some Hierarchies of
Primitive Recursive Predicates," Zeit. fur Mathematische Logik, Vol. 25, 1979.
22. "Theoretical and Applied Computer
Science: Antagonism or Symbiosis?," The American
Mathematical Monthly, Vol. 86, 1979.
23. "How to Show Something
is Not: Proofs in Formal Language Theory," Proc. ACM SIGCSE Ninth Tech.
Symposium on Computer Science Education, 1978.
24. "The Bounded Arithmetic Hierarchy,"
Information and Control, Vol. 36, 1978.
25. "Bounded Arithmetic Predicates and the
Bounded Arithmetic Hierarchy," Notices of the American Mathematical
Society, Vol. 23, 1976.
26. "Equivalence of Some Predicate Hierarchies,"
Notices of the American Mathematical Society, Vol. 23, 1976.
27. "Small Grzegorczyk
Classes and Limited Minimum," Zeit. fur Mathematische Logik, Vol. 11, 1975.
28. Sub‑elementary Classes of Functions
and Relations, Ph.D. Thesis,